/* universal things */

td {
  font-family: monospace;
}

body {
  margin: 0px 0px 0px 0px;
  height: 100%;
}

.highlight {
  background-color: #FF7777;
}

.control {
  font-family: monospace;
  font-size: 16px;
  width: 165px;
  border: 1px solid black;
  padding: 2px;
  margin: 5px;
}

#control_clnum {
  width: 100px;
  margin-right: 0px;
}

#control_fork {
  margin-left: 0px;
  width: 50px;
  margin-right: 0px;
}

#control_analysis {
  margin-left: 0px;
  width: auto;
  padding-left: 5px;
  padding-right: 5px;
}

#control_forknum {
  margin-left: 0px;
  margin-right: 0px;
  width: 30px;
  color: #555555;
}

/* vertical timeline and flags */

#vtimelinebox {
  height: 100%;
  position: fixed;
  width: 165px;
  background-color: #AAAAAA;
  overflow-x: scroll;
  overflow-y: hidden;
  white-space: nowrap;
}

.vtimeline {
  background-color: #282828;
  width: 45px;
  display: inline-block;
  vertical-align: top;
  margin-left: 2px;
  margin-right: 2px;
  position: relative;
}

.flag {
  width: 45px;
  height: 2px;
  position: absolute;
  font-family: monospace;
  color: gray;
}

#trash {
  font-size: 20px;
  font-family: monospace;
  bottom: 15px;
  position: fixed;
  width: 165px;
  text-align: center;
  border-top: 1px black solid;
  background-color: #777777;
}

/* everything in the right panel */

#onlypanel {
  background-color: #AAAAAA;
  border: 1px solid black;
  height: 100%;
  display: inline-block;
  position: fixed;
  left: 165px;
}

.panelthing {
  border: 1px solid gray;
  background-color: #DDDDDD;
}

/* instruction dump */

#idump {
  height: 180px;
  padding: 10px;
}

.name {
  color: purple;
}
.comment {
  color: purple;
}

/* regviewer and datachanges */

#regviewer {
  /*height: 120px;*/
  background-color: #DDDDDD;
  padding: 2px;
  border: 1px solid black;
  width: 620px;
}

#datachanges {
  font-family: monospace;
  padding: 2px;
  min-height: 20px;
  width: 620px;
}

.datachanges {
  display: inline-block;
}

.change {
  color: blue;
  width: 70px;
  display: inline-block;
}

.instruction {
  font-family: monospace;
}

.data {
  text-align: right;
  /*padding-left: 2px;*/
}

.datachange {
  color: blue;
}

.datainstruction {
  color: #CC0000;
}

.datamemory {
  color: #888800;
}

.reg {
  display: inline-block;
  width: 200px;
  font-family: monospace;
}

.regread {
  background-color: #666644;
}

.regwrite {
  background-color: #EEEE44;
}

.regreadwrite {
  /* order is lost here */
  background: linear-gradient(to right, #666644, #EEEE44);
}

#strace {
  font-family: monospace;
  height: 150px;
  overflow-x: hidden;
  overflow-y: scroll;
  padding: 10px;
  white-space: nowrap;
  width: 604px;
}

